probFD

Benchmark
Model:pnueli-zuck v.1 (MDP)
Parameter(s)N = 30
Property:live (prob-reach)
Invocation (default)
python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py pnueli-zuck.30.jani -c ../probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py pnueli-zuck.30-domain.ppddl pnueli-zuck.30-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
----------
Computation aborted after 1800.0182218551636 seconds since the total time limit of 1800 seconds was exceeded.